perm filename CLTHES[LET,JMC] blob sn#402967 filedate 1978-12-13 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	suggestions for CLT to look into
C00003 ENDMK
CāŠ—;
suggestions for CLT to look into

primitive recursion, first order recursion equations rather than function
logics
distinguish what is essential from formalism for its own sake
a coding theorem

evaluation schemes
extensional properties of the functional

papers:
	Cartwright and McCarthy
	exotic
	blobs
	Goguen
	Thatcher
	Michael Gordon

Is there an essential difference between interpreter semantics and
semantics by a map into a function space?